Works by A. M. Turing

( view other items matching `A. M. Turing`, view all matches )
8 found
Order:
  1.  257
    Intelligent machinery, a heretical theory.A. M. Turing - 1996 - Philosophia Mathematica 4 (3):256-260.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  2.  291
    (1 other version)Computability and λ-definability.A. M. Turing - 1937 - Journal of Symbolic Logic 2 (4):153-163.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  3.  67
    Entscheidungsproblem.A. M. Turing - unknown
    There are many complex characters in this paper; if you find them difficult to distinguish, you are advised to increase the viewing size.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  69
    (1 other version)Practical forms of type theory.A. M. Turing - 1948 - Journal of Symbolic Logic 13 (2):80-94.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  60
    (1 other version)A formal theorem in church's theory of types.M. H. A. Newman & A. M. Turing - 1942 - Journal of Symbolic Logic 7 (1):28-33.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  43
    Burks Arthur W.. The logic of programming electronic digital computers. Industrial mathematics , vol. 1 , pp. 36–52.A. M. Turing - 1953 - Journal of Symbolic Logic 18 (2):179-179.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  60
    The p-function in λ-k-conversion.A. M. Turing - 1937 - Journal of Symbolic Logic 2 (4):164.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  72
    The use of dots as brackets in church's system.A. M. Turing - 1942 - Journal of Symbolic Logic 7 (4):146-156.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark